On discount residue classes

On Multiplicative Semigroups of Residue Classes

The set of residue classes, modulo any positive integer, is commutative and associative under the operation of multiplication. The author made the conjecture: For each finite commutative semigroup, S, there exists a positive integer, n, such that S is isomorphic with a subsemigroup of the multiplicative semigroup of residue classes (mod n). (A semigroup is a set closed with respect to a single-...

On the Basic Character of Residue Classes

ON THE BASIC CHARACTER OF RESIDUE CLASSES P . HILTON, J . HOOPER AND J . PEDERSEN Let t, b be mutually prime positive integers . We say that the residue class t mod b is basic if theie exists n such that ta -1 mod b; otherwise t is not basic. In this paper we relate the basic character of t mod b to the quadratic character of t modulo the prime factors of b. If all prime factors p of b satisfy ...

Products in Residue Classes

Abstract. We consider a problem of P. Erdős, A. M. Odlyzko and A. Sárkőzy about the representation of residue classes modulom by products of two not too large primes. While it seems that even the Extended Riemann Hypothesis is not powerful enough to achieve the expected results, here we obtain some unconditional results “on average” over moduli m and residue classes modulo m and somewhat strong...

Classifying Isomorphic Residue Classes

We report on a case study on combining proof planning with computer algebra systems. We construct proofs for basic algebraic properties of residue classes as well as for isomorphisms between residue classes using di erent proving techniques, which are implemented as strategies in a multi-strategy proof planner. We show how these techniques help to successfully derive proofs in our domain and ex...

Classifying Isomorphi Residue Classes